Pure Logic of Necessitationの擬Kripkeモデル